Neil Mitchell

Results: 50



#Item
21Software engineering / Computer programming / Computing / Functional languages / Functional programming / Object-oriented programming languages / Scripting languages / Type theory / Haskell / Cabal / Monad / Type class

Hoogle Overview by Neil Mitchell This article gives an overview of the Hoogle tool. We describe the history of Hoogle, the improvements that have been made this summer, and plans for future feature

Add to Reading List

Source URL: ndmitchell.com

Language: English - Date: 2016-04-19 09:56:22
22Functional programming / Monad / Functional languages / Make / Haskell / Include directive

Shake ‘n’ Bake Neil Mitchell https://github.com/ndmitchell/{shake,bake} Build ‘n’ Integrate In Haskell

Add to Reading List

Source URL: ndmitchell.com

Language: English - Date: 2016-04-19 09:56:22
23Software engineering / Computer programming / Declarative programming / Functional programming / Data types / Programming language comparisons / Type theory / Higher-order functions / Fold / Generic programming / Map / Type class

Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of

Add to Reading List

Source URL: ndmitchell.com

Language: English - Date: 2016-04-19 09:56:22
24Software engineering / Computing / Computer programming / Data types / Functional languages / Primitive types / Functional programming / Edit distance / String / Haskell / Id / Boolean data type

Hoogλe Finding Functions from Types Neil Mitchell haskell.org/hoogle community.haskell.org/~ndm/

Add to Reading List

Source URL: ndmitchell.com

Language: English - Date: 2016-04-19 09:56:22
25Compiling tools / Build automation / Compilers / SCons / Ar / GNU Compiler Collection / Make

Building stuff with monadic dependencies + unchanging dependencies + polymorphic dependencies + abstraction Neil Mitchell

Add to Reading List

Source URL: ndmitchell.com

Language: English - Date: 2016-04-19 09:56:22
26Build automation / Compiling tools / Monad / SCons / Waf / Make / GNU Compiler Collection

Defining your own build system With Shake Neil Mitchell http://shakebuild.com

Add to Reading List

Source URL: ndmitchell.com

Language: English - Date: 2016-04-19 09:56:22
27Data types / Software engineering / Computing / Computer programming / Functional programming / Type class / Type theory / Haskell features / Boolean data type

Instances for Free* Neil Mitchell www.cs.york.ac.uk/~ndm (* Postage and packaging charges may apply)

Add to Reading List

Source URL: ndmitchell.com

Language: English - Date: 2016-04-19 09:56:22
28Software engineering / Mathematics / Declarative programming / Lambda calculus / Functional programming / Functions and mappings / Let expression / Embedding / Monad / Anonymous function

A Supercompiler for Core Haskell Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy ev

Add to Reading List

Source URL: ndmitchell.com

Language: English - Date: 2016-04-19 09:56:22
29Software engineering / Computer programming / Declarative programming / Functional programming / Lambda calculus / Subroutines / Functional languages / Literate programming / Monad / Let expression / Glasgow Haskell Compiler / Anonymous function

Supero: Making Haskell Faster Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy evalu

Add to Reading List

Source URL: ndmitchell.com

Language: English - Date: 2016-04-19 09:56:22
30Haskell / Literate programming / Literal / Monad

Uniform Boilerplate and List Processing Or: Scrap Your Scary Types Neil Mitchell and Colin Runciman, Haskell Workshop, 2007

Add to Reading List

Source URL: ndmitchell.com

Language: English
UPDATE